r:Rng. r  0   

latex

Up	rings 1
Definitions of Statement	Rng, r  0
Definitions	r  0, t  T, x:A. B(x), Rng
Lemmas	rng wf, rng zero wf, rng one wf, rng car wf, nequal wf